Formal Limits on Determining Reliabilities of Component-Based Software Systems
نویسندگان
چکیده
We present a model for analyzing the reliability of component-based software systems. Each software component is described as a nite state machine whose transitions have failure probabilities that re ect the unreliable execution of elementary component operations. Alternatively, we model a component as a nite state machine with an associated reliability gure that expresses the overall reliability of the component. Using our model, we prove that there is no algorithm that can accurately calculate the reliability of a system of nite state machines with known or estimated overall reliabilities or transition failure probabilities. The same negative result holds even if we only want to approximate the system reliability.
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملFormal Modelling and Verification of Pervasive Computing Systems
Pervasive computing (PvC) systems are emerging as promising solutions to many practical problems, e.g., elderly care in home. However, such systems have long been developed without sufficient verification. Formal methods, eps. model checking are sound techniques for complex system analysis regarding correctness and reliability requirements. In this work, a formal modelling framework is proposed...
متن کاملFormal Logic Based Configuration Modeling and Verification for Dynamic Component Systems
Reconfigurable networked systems have often been developed via dynamically deployed software components that are executing on top of interconnected heterogenous hardware nodes. The challenges resulting from the complexity of those systems have been traditionally mitigated by creative ad-hoc solutions supported by domain specific modeling frameworks and methodologies. Targeting that deficiency, ...
متن کاملReliability Maximization of Component-Based Software Systems
Most of the previously reported literature focused primarily on the reliability evaluation and prediction of component–based software systems, rather than exploring cost/reliability tradeoffs among competing architectural alternatives. A few techniques which treat the subject of reliability optimization assume the system to be series–parallel, an assumption that does not hold even in the case o...
متن کاملReliability Assessment of Component Based Software Systems Using Test Suite - a Review
Software reliability has become one of the main issues for software developers. Aggregating components into software is a perfect approach to construct software with the maturity of component market. How to analyze software reliability from the reliabilities of its components and architecture should be answered. However, software in most of the proposed reliability analysis methods is static, w...
متن کامل